大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 architecture theory 的图书(共7073本)

Computer arithmetic in theory and practice

0
索取号:TP312/E90123
作者:Kulisch、 Ulrich W.、Miranker、 Willard L.、 joint author.、
出版社:New York, NY : Academic Press, 1981.

Introduction to automata theory, languages, and computation

0
索取号:TP301.1/E801
作者:Hopcroft、 John E.、 1939-、Ullman、 Jeffrey D.、 1942- joint author.、
出版社:Reading, Mass. : Addison-Wesley, 1979.

A high performance architecture for PROLOG

0
索取号:TP312/E9975
作者:Dobry、 T. P.、 1953-、
出版社:Boston : Kluwer Academic Publishers, 1990.

Syntax of programming languages : theory and practice

0
索取号:TP312/E801
作者:Backhouse、 Roland C.、 1948-、
出版社:Englewood Cliffs, N.J. : Prentice-Hall International, 1979.

Categories, types, and structures : an introduction to category theory for the working computer scientist

0
索取号:TP312/E9979
作者:Asperti、 Andrea.、Longo、 G. (Giuseppe)、
出版社:London Cambridge, Mass. : MIT Press, 1991.

Towards structured specifying : theory, practice, applications

0
索取号:TP311.5/E903
作者:Mili、 Ali.、Boudriga、 Noureddine.、Mili、 Fatma.、
出版社:Chichester, West Sussex, England : E. Horwood ; New York : Halsted Press, 1989.

Database design theory

0
索取号:TP311.13/E9914
作者:Leonard、 M. (Michel)、
出版社:Houndmills, Basingstoke, Hampshire : Macmillan, 1992.

Parsing theory

0
索取号:TP311/E9958
作者:Sippu、 Seppo、 1950-、Soisalon-Soininen、 Eljas、 1949-、
出版社:Berlin ; New York : Springer-Verlag, c1988-c1990.

Dynamic data structures : theory and application

0
索取号:TP311/E9943
作者:King、 Todd.、
出版社:San Diego : Academic Press, 1992.

Phase-locked loops : theory, design, and applications

0
索取号:TP311/E992.2
作者:Best、 Roland E.、
出版社:New York : McGraw-Hill, 1993.

Theory and practice of software technology : proceedings of the International Seminars on Software Engineering, Capri, Italy, 1980 & 1982

0
索取号:TP31-53/E9019
作者:International Seminar on Software Engineering (1st : 1980 : Capri、 Italy)、Ferrari、 Domenico、 1940-、Bolognani、 Mario.、Goguen、 Joseph.、International Seminar on Software Engineering (2nd : 1982 : Capri、 Italy)、
出版社:Amsterdam ; New York : North-Holland Pub. Co. ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1983.

Recent trends in data type specification : 3rd Workshop on Theory and Applications of Abstract Data Types : selected papers

0
索取号:TP31-53/E9014/3
作者:Workshop on Theory and Applications of Abstract Data Types (3rd : 1984 : Bremen、 Germany)、Kreowski、 H.-J. (Hans-J̈Оrg)、
出版社:Berlin ; New York : Springer-Verlag, 1985.

Multicriteria decision making : advances in MCDM models, algorithms, theory, and applications

0
索取号:O22/E991
作者:
出版社:Boston : Kluwer Academic, c1999.

Schaum's outline of theory and problems of computers and programming

0
索取号:TP31/E9037
作者:Scheid、 Francis J.、
出版社:New York : McGraw-Hill, 1982.

Topological fixed point theory of multivalued mappings

0
索取号:O189/E992
作者:ǴОrniewicz、 Lech.、
出版社:Dordrecht ; Boston : Kluwer Academic Publishers, c1999.

Spectral theory and geometry : ICMS Instructional Conference, Edinburgh 1998

0
索取号:O177.7/E20011
作者:ICMS Instructional Conference (1998 : Edinburgh、 Scotland)、Safarov、 Yu、Davies、 E. B. (Edward Brian)、 1944-、London Mathematical Society、International Centre for Mathematical Sciences、
出版社:Cambridge : Cambridge University Press, 1999
最近添加的分类